/**********************************************************************
 * @file main.c
 **********************************************************************/
#include "2440addr.h"
#include "cpu.h"
#include "keyboard.h"
#include "led.h"
#include "uart.h"

// I/O PORT

void delay(int t) {
  int i, j;
  for (i = 0; i < t; i++) {
    for (j = 0; j < 10000; j++)
      ;
  }
}

int main(void) {
  key_init();
  INT32 i = 0;
  char recvBuf[256] = "hello world";

  while (1) {
    delay(1000);
    dbg_printf("uart 0 send:\"%s\"\n", recvBuf);
    led_dispnum(i);
    i++;
  }
}
